Principia Mathematica - PDFSEARCH.IO - Document Search Engine

Principia Mathematica
Results: 84

#	Item
11	PDF Document Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2015-04-27 13:44:12 Logic Mathematical logic Mathematics Model theory Substitution Peano axioms Interpretation Constructible universe Compactness theorem Symbol Principia Mathematica operator
12	PHILOSOPHIÆ NATURALIS PRINCIPIA MATHEMATICA By Isaac Newton BOOK II, LEMMA 2. (Third Edition, 1726) Add to Reading List Source URL: www.maths.tcd.ie - Date: 2002-06-22 10:25:10
13	PROPAGATION THROUGH GENERIC LEVEL CROSSINGS: A SURFACE HOPPING SEMIGROUP CLOTILDE FERMANIAN KAMMERER∗ AND CAROLINE LASSER† Abstract. We construct a surface hopping semigroup, which asymptotically describes nuclear pr Add to Reading List Source URL: www-m3.ma.tum.de Language: English - Date: 2010-05-06 15:03:11 Μ operator Principia Mathematica Physics Symbol Wigner quasi-probability distribution
14	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:49 Set theory Principia Mathematica Science Function Type theory Extensionality Zermelo–Fraenkel set theory Logicism Mathematics Mathematical logic Logic
15	Energy level crossings in molecular dynamics F. Bornemann1 , C. Lasser2 , T. Swart2 1 Zentrum Mathematik, Technische Universit¨ at M¨ Add to Reading List Source URL: www-m3.ma.tum.de Language: English - Date: 2010-05-06 15:47:03 Mathematics Linear algebra Symbol Wigner quasi-probability distribution Rotation matrix Landau–Zener formula Dual space Principia Mathematica Μ operator Algebra Quantum mechanics Physics
16	Generalized Quantifiers and Definite Descriptions John MacFarlane—Philosophy 142 February 1, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-01 15:26:42 Model theory Quantification Philosophy of language Predicate logic First-order logic Interpretation Principia Mathematica Definite description Proposition Logic Mathematics Mathematical logic
17	The Sheffer Box Juliet Floyd, Boston University UC Berkeley Logic Group, Sheffer’s Teachers, Colleagues, Students (in bold) LotzeWm. James) Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-11-14 18:55:18 Analytic philosophy Analytic philosophers Mathematical logic Principia Mathematica Gottlob Frege Type theory Logic Philosophy of mathematics Sheffer Philosophy Mathematics Henry M. Sheffer
18	On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:44:38 Formal languages Model theory Propositional calculus Logic programming Interpretation Principia Mathematica Belief revision First-order logic Constructible universe Logic Mathematics Mathematical logic
19	History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2008-01-14 18:38:50 Lambda calculus Combinatory logic Computability theory Fixed-point combinator Function Haskell Curry Free variables and bound variables Principia Mathematica First-order logic Mathematics Mathematical logic Theoretical computer science
20	COMMISSION 46 ASTRONOMY EDUCATION AND DEVELOPMENT Education et Développement de l’Astronomie Newsletter 77 – March 2013 Add to Reading List Source URL: www.iaucomm46.org Language: English - Date: 2013-02-25 15:05:33 British people Fellows of the Royal Society Philosophers of science Isaac Newton Astronomers International Astronomical Union Philosophiæ Naturalis Principia Mathematica Edmond Halley Jay Pasachoff Science Natural philosophers Astronomy